proof theory 相关频道
proof theory 优惠券折扣 (4)
书籍/杂志/报纸561官方立减
638【3-4周达】精装 A Proof Theory for General Unification [9780817635930]
天猫好物澜瑞图书专营店
优惠77元书籍/杂志/报纸561官方立减
638【3-4周达】Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Castle, German... [9783540427520]
天猫好物澜瑞图书专营店
优惠77元书籍/杂志/报纸459官方立减
522【3-4周达】Proof Theory and Intuitionistic Systems [9783540055419]
天猫好物澜瑞图书专营店
优惠63元书籍/杂志/报纸518官方立减
589【3-4周达】Proof Theory [9783832533038]
天猫好物澜瑞图书专营店
优惠71元书籍/杂志/报纸1095官方立减
1245【3-4周达】Advances in Proof Theory (Softcover reprint of the original 1st ed. 2016) [9783319805139]
天猫好物澜瑞图书专营店
优惠150元书籍/杂志/报纸1095官方立减
1245【3-4周达】精装 Proof Theory : History and Philosophical Significance [9780792365440]
天猫好物澜瑞图书专营店
优惠150元书籍/杂志/报纸1095官方立减
1245【3-4周达】精装 Ordinal Analysis with an Introduction to Proof Theory [9789811564581]
天猫好物澜瑞图书专营店
优惠150元书籍/杂志/报纸1205官方立减
1370【3-4周达】精装 Arithmetic, Proof Theory, and Computational Complexity [9780198536901]
天猫好物澜瑞图书专营店
优惠165元书籍/杂志/报纸504官方立减
573预订 Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990 [9780521054164]
天猫好物澜瑞图书专营店
优惠69元书籍/杂志/报纸1198官方立减
1362预订 精装 Structural Proof Theory [9780521793070]
天猫好物澜瑞图书专营店
优惠164元书籍/杂志/报纸263官方立减
299【3-4周达】Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic [9781848902671]
天猫好物澜瑞图书专营店
优惠36元书籍/杂志/报纸526官方立减
598【3-4周达】A Proof Theory for Description Logics [9781447140016]
天猫好物澜瑞图书专营店
优惠72元书籍/杂志/报纸1074官方立减
1221【3-4周达】A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and... [9780198529811]
天猫好物澜瑞图书专营店
优惠147元书籍/杂志/报纸1352官方立减
1537【3-4周达】精装 Goal-Directed Proof Theory [9780792364733]
天猫好物澜瑞图书专营店
优惠185元书籍/杂志/报纸614官方立减
698预订 Basic Proof Theory: - Basic Proof Theory [9780521779111]
天猫好物澜瑞图书专营店
优惠84元书籍/杂志/报纸753官方立减
856预订 精装 Proof Theory and Logic Programming: Computation as Proof Search [9781009561297]
天猫好物澜瑞图书专营店
优惠103元书籍/杂志/报纸1075官方立减
1222【3-4周达】精装 Combinators, λ-Terms and Proof Theory [9789027703057]
天猫好物澜瑞图书专营店
优惠147元书籍/杂志/报纸1075官方立减
1222【3-4周达】Goal-Directed Proof Theory [9789048155262]
天猫好物澜瑞图书专营店
优惠147元书籍/杂志/报纸1075官方立减
1222【3-4周达】Combinators, λ-Terms and Proof Theory [9789401029155]
天猫好物澜瑞图书专营店
优惠147元书籍/杂志/报纸1075官方立减
1222【3-4周达】Proof Theory : History and Philosophical Significance [9789048155538]
天猫好物澜瑞图书专营店
优惠147元书籍/杂志/报纸790官方立减
898【3-4周达】Proof Theory: An Introduction [9783540518426]
天猫好物澜瑞图书专营店
优惠108元书籍/杂志/报纸1551官方立减
1763【3-4周达】精装 Proof Theory of Modal Logic [9780792341208]
天猫好物澜瑞图书专营店
优惠212元书籍/杂志/报纸1551官方立减
1763【3-4周达】精装 The Semantics and Proof Theory of the Logic of Bunched Implications [9781402007453]
天猫好物澜瑞图书专营店
优惠212元书籍/杂志/报纸1303官方立减
1481【3-4周达】Proof Theory for Fuzzy Logics [9789048181216]
天猫好物澜瑞图书专营店
优惠178元书籍/杂志/报纸1142官方立减
1298现货 精装 Handbook of Proof Theory: Volume 137 [9780444898401]
天猫好物澜瑞图书专营店
优惠156元书籍/杂志/报纸1530官方立减
1739【3-4周达】Proof Theory of Modal Logic [9789048147205]
天猫好物澜瑞图书专营店
优惠209元书籍/杂志/报纸1530官方立减
1739【3-4周达】The Semantics and Proof Theory of the Logic of Bunched Implications [9789048160723]
天猫好物澜瑞图书专营店
优惠209元书籍/杂志/报纸388官方立减
441预订 What Logics Mean: From Proof Theory to Model-Theoretic Semantics [9781107611962]
天猫好物澜瑞图书专营店
优惠53元书籍/杂志/报纸1230官方立减
1398预订 精装 PROOF AND COMPUTATION II: FROM PROOF THEORY AND UNIVALENT MATHEMATICS TO PROGRAM EXTRACTION... [9789811236471]
天猫好物澜瑞图书专营店
优惠168元书籍/杂志/报纸1318官方立减
1498【3-4周达】精装 Proof Theory for Fuzzy Logics [9781402094088]
天猫好物澜瑞图书专营店
优惠180元